Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
731	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
732	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-01-16 18:44:42 Programming language Logic Mathematics Model theory Metalogic Structure
733	Microsoft WordErrata Summarydoc Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2013-10-25 14:55:57 Building automation Communication Property law Property C Software engineering Programming language theory Network protocols Computing BACnet
734	Public Deployment of Cooperative Bug Isolation ∗ Ben Liblit † Mayur Naik § Alice X. Zheng † Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-29 20:43:04 Cross-platform software Procedural programming languages C programming language C standard library Main function Library Dynamic loading C Computing Software engineering Software
735	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
736	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
737	Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-01 19:06:12 Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering
738	KX SYSTEMS CASE STU DI ES f i r st d e r ivat ive s Volume and Velocity Add to Reading List Source URL: kx.com Language: English - Date: 2014-11-03 19:04:41 Software engineering Programming language theory K Financial markets Market data Q Computing APL programming language family Array programming languages
739	Stochastic Superoptimization Eric Schkufza Rahul Sharma Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-20 12:06:36 X86-64 Low-level programming language GNU Compiler Collection Markov chain Monte Carlo C Segmentation fault Strength reduction MOV Program optimization Computing Software X86 architecture
740	How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-05 19:58:01 Computing Digital signal processing Signal processing Aliasing Program analysis Pointer aliasing Alias analysis Call graph Reference Compiler construction Software engineering Programming language theory

UPDATE